nclude<iostream>
#include<cstdio>
#include<set>
using namespace std;
int chuxian=0;
int quchong=0;
set<long long>a;
%}
hangshou ^{zhengshu}
number [0-9]
zhengshu {number}{9}
hangwei NAME$
numbers {number}+
zhengxiao {numbers}(\.{numbers})?
%%
{hangshou} {printf("201492171");}
{hangwei} {printf("Shen");}
{zhengxiao} {long long s=0;char *p=yytext;int i=0;for(i=0;*p!='.'&&i<yyleng;i++){s=10*s+(*p-'0');p++;}if(i!=yyleng){p++;int x=(*p-'0');if(x>=5)s++;}s*=2;s+=201492171;cout<<s;chuxian++;a.insert(s);}
. {cout<<yytext;}

    %%
     int main()
         {
	         yylex();
		             quchong=a.size();
			                     printf("%d\t%d\n",chuxian,quchong);
					                         return 0;
								                     }
										                         int yywrap()
													                     {
															                             return 1;
																		                             }
